Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes

Nous définissons un modèle d’exécution réactif et interactif pour la programmation logique avec contraintes (PLC). Ce modèle d’exécution s’appuie d’une part sur un système de transformation des dérivations CSLD pour l’ajout et le retrait de contraintes et d’atomes dans la requête, et d’autre part sur un résolveur de contraintes dynamiques supportant l’ajout et le retrait incrémental de contraintes. La complétude du modèle d’exécution réactif de la PLC se démontre en prouvant séparément la correction d’un ensemble d’opérations sur les dérivations, et la complétude d’une procédure de recherche réactive qui permet la prise en compte asynchrone et préemptive des commandes de modification de la requête. L’implantation réalisée est évaluée sur deux applications réelles d’optimisation combinatoire.